NoSizedTypes.agda:3,1-44
Importing module Common.Size using the --sized-types flag from a
module which does not.
when scope checking the declaration
  open import Common.Size renaming (↑_ to _^)
